Filteristic Soft Lattice Implication Algebras
نویسندگان
چکیده
Applying the idea of soft set theory to lattice implication algebras, the novel concept of (implicative) filteristic soft lattice implication algebras which related to (implicative) filter(for short, (IF -)F -soft lattice implication algebras) are introduced. Basic properties of (IF -)F -soft lattice implication algebras are derived. Two kinds of fuzzy filters (i.e.(∈,∈ ∨qk)((∈,∈ ∨ qk))-fuzzy (implicative) filter) of L are introduced, which are generalizations of fuzzy (implicative) filters. Some characterizations for a soft set to be a (IF -)F -soft lattice implication algebra are provided. Analogously, this idea can be used in other types of filteristic lattice implication algebras (such as fantastic (positive implicative) filteristic soft lattice implication algebras). Keywords—Soft set; (implicative) filteristic lattice implication algebras; fuzzy (implicative) filters; ((∈,∈ ∨qk)) (∈,∈ ∨ qk)-fuzzy (implicative) filters.
منابع مشابه
Soft Lattice Implication Algebras Based on Fuzzy Sets
In this paper, we deal with soft lattice implication algebras based on fuzzy sets. Using the concepts of fuzzy (implicative) filters, (∈,∈∨q)fuzzy (implicative) filters and (∈,∈∨q)-fuzzy (implicative) filters, some characterizations for ∈-soft sets and q-soft sets to be (implicative) filteristic soft lattice implication algebras are established.
متن کاملFilteristic soft BCK-algebras
We study the soft sets applied on the structure of filters of BCK-algebras. A connection between soft BCK-algebras and filteristic soft BCK-algebras is given also. Finally, important operations such as intersection, union, “AND”, “OR”, and subset operations of soft filters and filteristic soft BCK-algebras are investigated.
متن کاملLattice of full soft Lie algebra
In this paper, we study the relation between the soft sets and soft Lie algebras with the lattice theory. We introduce the concepts of the lattice of soft sets, full soft sets and soft Lie algebras and next, we verify some properties of them. We prove that the lattice of the soft sets on a fixed parameter set is isomorphic to the power set of a ...
متن کاملVague Prime Li-ideals of Lattice Implication Algebras
In order to investigate a many valued logical system whose proportional value is given in a lattice, in 1993 Y. Xu [12] first established the lattice implication algebra by combining lattice and implication algebra, and explored many useful structures. The ideal theory serves a vital function for the development of lattice implication algebras. Y. Xu, Y.B. Jun and E.H. Roh [6] introduced the no...
متن کاملOn Heyting algebras and dual BCK-algebras
A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...
متن کامل